Большой энциклопедический словарь - исчисление предикатов
Исчисление предикатов
исчисление предикатов
раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.
Рейтинг статьи:
![](http://www.вокабула.рф/assets/images/bookmark.png)
См. в других словарях
1.
Исчисление предикатов, раздел математической логики — совокупность логико-математических исчислений, формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с кванторами. См. Высказывание, Логика предикатов. ...Большая советская энциклопедия
![](http://www.вокабула.рф/assets/images/usearch.png)
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 5284 | |
2 | 2779 | |
3 | 2668 | |
4 | 2653 | |
5 | 2172 | |
6 | 2167 | |
7 | 1920 | |
8 | 1771 | |
9 | 1769 | |
10 | 1736 | |
11 | 1486 | |
12 | 1482 | |
13 | 1388 | |
14 | 1336 | |
15 | 1293 | |
16 | 1257 | |
17 | 1244 | |
18 | 1159 | |
19 | 1144 | |
20 | 1066 |